Process Model Verification with SemQuu
نویسندگان
چکیده
In this contribution, we present an overview of our ongoing work in developing an integrated tool support for semantic process model verification. We present some of the requirements and insights gained by the implementation of a platform for semantic process model verification. The platform is based on OWL and SPARQL and provides for a user-friendly way of semantic model verification. First empirical evaluations have been very promising and confirm that the tool can be used to effectively query and verify semi-formal process knowledge.
منابع مشابه
Modeling of Riyadh Sewage Treatment Plant: 1-Model Development, Verification and Simulation
In Saudi Arabia, the Riyadh Sewage Treatment Plant (RSTP) uses the activated sludge technology as the secondary treatment process for sewage. Due to the complex nature of the process, a rather simplified, yet practical, steady state model that captures the most important features of the RSTP was developed. Actual operating and design conditions were obtained from RSTP data bank. The monthly ave...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملA short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملProcess optimization for ethanol production from very high gravity (VHG) finger millet medium using response surface methodology
The Box-Wilson central composite design (CCD) based on response surface methodology (RSM) was used for ethanol fermentation using very high gravity (VHG) finger millet hydrolysate. Optimized process variables were namely, concentrations of yeast extract, magnesium sulphate and pH of the medium. High gravity mashes (>300 g dissolved solids per liter) were prepared by a thermo-stable α-amylase, f...
متن کاملSimulation and Model Validation of Batch PHB Production Process Using Ralstonia eutropha
Mathematical modeling and simulation of microbial Polyhydroxybutyrate (PHB) production process is beneficial for optimization, design, and control purposes. In this study a batch model developed by Mulchandani et al., [1] was used to simulate the process in MATLAB environment. It was revealed that the kinetic model parameters were estimated off the optimal or at a local optimal point. There...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011